extension | φ:Q→Out N | d | ρ | Label | ID |
(C22xDic7).1C22 = (C2xC28):Q8 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).1C2^2 | 448,180 |
(C22xDic7).2C22 = C14.(C4xQ8) | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).2C2^2 | 448,181 |
(C22xDic7).3C22 = C7:(C42:8C4) | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).3C2^2 | 448,184 |
(C22xDic7).4C22 = C4:Dic7:7C4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).4C2^2 | 448,187 |
(C22xDic7).5C22 = C4:Dic7:8C4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).5C2^2 | 448,188 |
(C22xDic7).6C22 = (C2xDic7):Q8 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).6C2^2 | 448,190 |
(C22xDic7).7C22 = C2.(C28:Q8) | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).7C2^2 | 448,191 |
(C22xDic7).8C22 = (C2xDic7).Q8 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).8C2^2 | 448,192 |
(C22xDic7).9C22 = (C2xC28).28D4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).9C2^2 | 448,193 |
(C22xDic7).10C22 = (C2xC4).Dic14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).10C2^2 | 448,194 |
(C22xDic7).11C22 = C14.(C4:Q8) | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).11C2^2 | 448,195 |
(C22xDic7).12C22 = (C22xC4).D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).12C2^2 | 448,196 |
(C22xDic7).13C22 = C22.58(D4xD7) | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).13C2^2 | 448,198 |
(C22xDic7).14C22 = (C2xC4):9D28 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).14C2^2 | 448,199 |
(C22xDic7).15C22 = D14:(C4:C4) | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).15C2^2 | 448,201 |
(C22xDic7).16C22 = D14:C4:C4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).16C2^2 | 448,202 |
(C22xDic7).17C22 = D14:C4:5C4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).17C2^2 | 448,203 |
(C22xDic7).18C22 = (C2xC28):5D4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).18C2^2 | 448,205 |
(C22xDic7).19C22 = (C2xDic7):3D4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).19C2^2 | 448,206 |
(C22xDic7).20C22 = (C2xC4).20D28 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).20C2^2 | 448,207 |
(C22xDic7).21C22 = (C2xC4).21D28 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).21C2^2 | 448,208 |
(C22xDic7).22C22 = (C22xD7).9D4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).22C2^2 | 448,209 |
(C22xDic7).23C22 = (C22xD7).Q8 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).23C2^2 | 448,210 |
(C22xDic7).24C22 = (C2xC28).33D4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).24C2^2 | 448,211 |
(C22xDic7).25C22 = C23:C4:5D7 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 112 | 8- | (C2^2xDic7).25C2^2 | 448,274 |
(C22xDic7).26C22 = C28:4(C4:C4) | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).26C2^2 | 448,462 |
(C22xDic7).27C22 = (C2xC28):10Q8 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).27C2^2 | 448,463 |
(C22xDic7).28C22 = (C2xC42).D7 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).28C2^2 | 448,467 |
(C22xDic7).29C22 = C42:8Dic7 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).29C2^2 | 448,469 |
(C22xDic7).30C22 = C42:9Dic7 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).30C2^2 | 448,470 |
(C22xDic7).31C22 = C42:5Dic7 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).31C2^2 | 448,471 |
(C22xDic7).32C22 = (C2xC4):6D28 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).32C2^2 | 448,473 |
(C22xDic7).33C22 = (C2xC42):D7 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).33C2^2 | 448,474 |
(C22xDic7).34C22 = C24.44D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).34C2^2 | 448,476 |
(C22xDic7).35C22 = C24.3D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).35C2^2 | 448,478 |
(C22xDic7).36C22 = C24.4D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).36C2^2 | 448,479 |
(C22xDic7).37C22 = C24.46D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).37C2^2 | 448,480 |
(C22xDic7).38C22 = C23:Dic14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).38C2^2 | 448,481 |
(C22xDic7).39C22 = C24.6D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).39C2^2 | 448,482 |
(C22xDic7).40C22 = C24.7D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).40C2^2 | 448,483 |
(C22xDic7).41C22 = C24.9D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).41C2^2 | 448,486 |
(C22xDic7).42C22 = C24.10D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).42C2^2 | 448,487 |
(C22xDic7).43C22 = C24.12D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).43C2^2 | 448,490 |
(C22xDic7).44C22 = C24.13D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).44C2^2 | 448,491 |
(C22xDic7).45C22 = C24.14D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).45C2^2 | 448,493 |
(C22xDic7).46C22 = C23:2D28 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).46C2^2 | 448,494 |
(C22xDic7).47C22 = C23.16D28 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).47C2^2 | 448,495 |
(C22xDic7).48C22 = Dic7:(C4:C4) | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).48C2^2 | 448,506 |
(C22xDic7).49C22 = C28:(C4:C4) | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).49C2^2 | 448,507 |
(C22xDic7).50C22 = (C2xDic7):6Q8 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).50C2^2 | 448,508 |
(C22xDic7).51C22 = C22.23(Q8xD7) | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).51C2^2 | 448,512 |
(C22xDic7).52C22 = (C2xC4):Dic14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).52C2^2 | 448,513 |
(C22xDic7).53C22 = (C2xC28).287D4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).53C2^2 | 448,514 |
(C22xDic7).54C22 = (C2xC28).288D4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).54C2^2 | 448,516 |
(C22xDic7).55C22 = (C2xC4).44D28 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).55C2^2 | 448,517 |
(C22xDic7).56C22 = (C2xC28).54D4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).56C2^2 | 448,518 |
(C22xDic7).57C22 = (C2xC28).55D4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).57C2^2 | 448,520 |
(C22xDic7).58C22 = C4:(D14:C4) | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).58C2^2 | 448,521 |
(C22xDic7).59C22 = D14:C4:6C4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).59C2^2 | 448,523 |
(C22xDic7).60C22 = (C2xC4):3D28 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).60C2^2 | 448,525 |
(C22xDic7).61C22 = (C2xC28).289D4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).61C2^2 | 448,526 |
(C22xDic7).62C22 = (C2xC28).290D4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).62C2^2 | 448,527 |
(C22xDic7).63C22 = (C2xC4).45D28 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).63C2^2 | 448,528 |
(C22xDic7).64C22 = C24.62D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).64C2^2 | 448,744 |
(C22xDic7).65C22 = C24.63D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).65C2^2 | 448,745 |
(C22xDic7).66C22 = C23.27D28 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).66C2^2 | 448,746 |
(C22xDic7).67C22 = C23.28D28 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).67C2^2 | 448,747 |
(C22xDic7).68C22 = C24.20D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).68C2^2 | 448,756 |
(C22xDic7).69C22 = C24.21D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).69C2^2 | 448,757 |
(C22xDic7).70C22 = C14.C22wrC2 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).70C2^2 | 448,763 |
(C22xDic7).71C22 = (C22xQ8):D7 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).71C2^2 | 448,765 |
(C22xDic7).72C22 = C2xC28:2Q8 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).72C2^2 | 448,921 |
(C22xDic7).73C22 = C2xC28.6Q8 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).73C2^2 | 448,922 |
(C22xDic7).74C22 = C2xC4.D28 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).74C2^2 | 448,929 |
(C22xDic7).75C22 = C2xC42:2D7 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).75C2^2 | 448,931 |
(C22xDic7).76C22 = C23:2Dic14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 112 | | (C2^2xDic7).76C2^2 | 448,936 |
(C22xDic7).77C22 = C2xD14:D4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).77C2^2 | 448,942 |
(C22xDic7).78C22 = C24.27D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 112 | | (C2^2xDic7).78C2^2 | 448,943 |
(C22xDic7).79C22 = C2xDic7.D4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).79C2^2 | 448,944 |
(C22xDic7).80C22 = C24.31D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 112 | | (C2^2xDic7).80C2^2 | 448,948 |
(C22xDic7).81C22 = C2xD14:Q8 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).81C2^2 | 448,961 |
(C22xDic7).82C22 = C2xD14:2Q8 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).82C2^2 | 448,962 |
(C22xDic7).83C22 = C2xC4:C4:D7 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).83C2^2 | 448,965 |
(C22xDic7).84C22 = C42.87D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).84C2^2 | 448,969 |
(C22xDic7).85C22 = C42.90D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).85C2^2 | 448,972 |
(C22xDic7).86C22 = C42.91D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).86C2^2 | 448,976 |
(C22xDic7).87C22 = C42.92D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).87C2^2 | 448,979 |
(C22xDic7).88C22 = C42:10D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 112 | | (C2^2xDic7).88C2^2 | 448,980 |
(C22xDic7).89C22 = C42.96D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).89C2^2 | 448,984 |
(C22xDic7).90C22 = D4xDic14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).90C2^2 | 448,990 |
(C22xDic7).91C22 = D4:5Dic14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).91C2^2 | 448,992 |
(C22xDic7).92C22 = C42.104D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).92C2^2 | 448,993 |
(C22xDic7).93C22 = C42.105D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).93C2^2 | 448,994 |
(C22xDic7).94C22 = D4:6Dic14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).94C2^2 | 448,996 |
(C22xDic7).95C22 = C42.108D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).95C2^2 | 448,999 |
(C22xDic7).96C22 = Dic14:23D4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).96C2^2 | 448,1005 |
(C22xDic7).97C22 = D4:6D28 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).97C2^2 | 448,1008 |
(C22xDic7).98C22 = C42:16D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 112 | | (C2^2xDic7).98C2^2 | 448,1009 |
(C22xDic7).99C22 = C42:17D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 112 | | (C2^2xDic7).99C2^2 | 448,1013 |
(C22xDic7).100C22 = C42.118D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).100C2^2 | 448,1017 |
(C22xDic7).101C22 = C42.119D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).101C2^2 | 448,1018 |
(C22xDic7).102C22 = C14.682- 1+4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).102C2^2 | 448,1050 |
(C22xDic7).103C22 = Dic14:19D4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).103C2^2 | 448,1051 |
(C22xDic7).104C22 = Dic14:20D4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).104C2^2 | 448,1052 |
(C22xDic7).105C22 = C4:C4.178D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).105C2^2 | 448,1053 |
(C22xDic7).106C22 = C14.342+ 1+4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).106C2^2 | 448,1054 |
(C22xDic7).107C22 = C14.352+ 1+4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).107C2^2 | 448,1055 |
(C22xDic7).108C22 = C14.712- 1+4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).108C2^2 | 448,1056 |
(C22xDic7).109C22 = C14.722- 1+4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).109C2^2 | 448,1061 |
(C22xDic7).110C22 = C14.732- 1+4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).110C2^2 | 448,1064 |
(C22xDic7).111C22 = C14.432+ 1+4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).111C2^2 | 448,1067 |
(C22xDic7).112C22 = C14.442+ 1+4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).112C2^2 | 448,1068 |
(C22xDic7).113C22 = C14.452+ 1+4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).113C2^2 | 448,1069 |
(C22xDic7).114C22 = C14.1152+ 1+4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).114C2^2 | 448,1071 |
(C22xDic7).115C22 = C14.472+ 1+4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).115C2^2 | 448,1072 |
(C22xDic7).116C22 = C14.492+ 1+4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).116C2^2 | 448,1074 |
(C22xDic7).117C22 = C14.752- 1+4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).117C2^2 | 448,1076 |
(C22xDic7).118C22 = Dic14:21D4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).118C2^2 | 448,1085 |
(C22xDic7).119C22 = C14.512+ 1+4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 112 | | (C2^2xDic7).119C2^2 | 448,1087 |
(C22xDic7).120C22 = C14.1182+ 1+4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).120C2^2 | 448,1088 |
(C22xDic7).121C22 = C14.522+ 1+4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).121C2^2 | 448,1089 |
(C22xDic7).122C22 = C14.532+ 1+4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 112 | | (C2^2xDic7).122C2^2 | 448,1090 |
(C22xDic7).123C22 = C14.772- 1+4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).123C2^2 | 448,1095 |
(C22xDic7).124C22 = C14.562+ 1+4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 112 | | (C2^2xDic7).124C2^2 | 448,1097 |
(C22xDic7).125C22 = C14.572+ 1+4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).125C2^2 | 448,1098 |
(C22xDic7).126C22 = C14.792- 1+4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).126C2^2 | 448,1101 |
(C22xDic7).127C22 = C14.802- 1+4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).127C2^2 | 448,1103 |
(C22xDic7).128C22 = C14.602+ 1+4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).128C2^2 | 448,1104 |
(C22xDic7).129C22 = C14.822- 1+4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).129C2^2 | 448,1108 |
(C22xDic7).130C22 = C14.832- 1+4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).130C2^2 | 448,1113 |
(C22xDic7).131C22 = C14.642+ 1+4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).131C2^2 | 448,1114 |
(C22xDic7).132C22 = C14.842- 1+4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).132C2^2 | 448,1115 |
(C22xDic7).133C22 = C14.662+ 1+4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).133C2^2 | 448,1116 |
(C22xDic7).134C22 = C14.672+ 1+4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).134C2^2 | 448,1117 |
(C22xDic7).135C22 = C14.852- 1+4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).135C2^2 | 448,1118 |
(C22xDic7).136C22 = C14.862- 1+4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).136C2^2 | 448,1120 |
(C22xDic7).137C22 = C42.233D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).137C2^2 | 448,1121 |
(C22xDic7).138C22 = C42.137D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).138C2^2 | 448,1122 |
(C22xDic7).139C22 = C42.138D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).139C2^2 | 448,1123 |
(C22xDic7).140C22 = C42.139D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).140C2^2 | 448,1124 |
(C22xDic7).141C22 = C42.140D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).141C2^2 | 448,1125 |
(C22xDic7).142C22 = C42.141D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).142C2^2 | 448,1128 |
(C22xDic7).143C22 = Dic14:10D4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).143C2^2 | 448,1130 |
(C22xDic7).144C22 = C42.234D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).144C2^2 | 448,1133 |
(C22xDic7).145C22 = C42.143D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).145C2^2 | 448,1134 |
(C22xDic7).146C22 = C42.144D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).146C2^2 | 448,1135 |
(C22xDic7).147C22 = C42.145D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).147C2^2 | 448,1137 |
(C22xDic7).148C22 = C42.159D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).148C2^2 | 448,1154 |
(C22xDic7).149C22 = C42.160D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).149C2^2 | 448,1155 |
(C22xDic7).150C22 = C42.189D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).150C2^2 | 448,1159 |
(C22xDic7).151C22 = C42.161D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).151C2^2 | 448,1160 |
(C22xDic7).152C22 = C42.162D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).152C2^2 | 448,1161 |
(C22xDic7).153C22 = C42.163D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).153C2^2 | 448,1162 |
(C22xDic7).154C22 = C42.164D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).154C2^2 | 448,1163 |
(C22xDic7).155C22 = C42.165D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).155C2^2 | 448,1165 |
(C22xDic7).156C22 = C42.166D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).156C2^2 | 448,1166 |
(C22xDic7).157C22 = C42.238D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).157C2^2 | 448,1169 |
(C22xDic7).158C22 = Dic14:11D4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).158C2^2 | 448,1171 |
(C22xDic7).159C22 = C42.168D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).159C2^2 | 448,1172 |
(C22xDic7).160C22 = C2xC28.48D4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).160C2^2 | 448,1237 |
(C22xDic7).161C22 = C2xC23.23D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).161C2^2 | 448,1242 |
(C22xDic7).162C22 = C2xC28:7D4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).162C2^2 | 448,1243 |
(C22xDic7).163C22 = C2xC28:2D4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).163C2^2 | 448,1253 |
(C22xDic7).164C22 = C2xD14:3Q8 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).164C2^2 | 448,1266 |
(C22xDic7).165C22 = C14.1042- 1+4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).165C2^2 | 448,1277 |
(C22xDic7).166C22 = C14.1052- 1+4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).166C2^2 | 448,1278 |
(C22xDic7).167C22 = C14.1062- 1+4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).167C2^2 | 448,1280 |
(C22xDic7).168C22 = C14.1082- 1+4 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).168C2^2 | 448,1286 |
(C22xDic7).169C22 = C2xD4.10D14 | φ: C22/C1 → C22 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).169C2^2 | 448,1377 |
(C22xDic7).170C22 = Dic7.5C42 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).170C2^2 | 448,182 |
(C22xDic7).171C22 = Dic7:C42 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).171C2^2 | 448,183 |
(C22xDic7).172C22 = C7:(C42:5C4) | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).172C2^2 | 448,185 |
(C22xDic7).173C22 = Dic7:C4:C4 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).173C2^2 | 448,186 |
(C22xDic7).174C22 = C14.(C4xD4) | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).174C2^2 | 448,189 |
(C22xDic7).175C22 = D7xC2.C42 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).175C2^2 | 448,197 |
(C22xDic7).176C22 = D14:C42 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).176C2^2 | 448,200 |
(C22xDic7).177C22 = C2.(C4xD28) | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).177C2^2 | 448,204 |
(C22xDic7).178C22 = C4xDic7:C4 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).178C2^2 | 448,465 |
(C22xDic7).179C22 = C42:4Dic7 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).179C2^2 | 448,466 |
(C22xDic7).180C22 = C4xC4:Dic7 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).180C2^2 | 448,468 |
(C22xDic7).181C22 = C4xD14:C4 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).181C2^2 | 448,472 |
(C22xDic7).182C22 = C22:C4xDic7 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).182C2^2 | 448,475 |
(C22xDic7).183C22 = C23.42D28 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).183C2^2 | 448,477 |
(C22xDic7).184C22 = C24.47D14 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).184C2^2 | 448,484 |
(C22xDic7).185C22 = C24.8D14 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).185C2^2 | 448,485 |
(C22xDic7).186C22 = C23.45D28 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).186C2^2 | 448,492 |
(C22xDic7).187C22 = C4:C4xDic7 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).187C2^2 | 448,509 |
(C22xDic7).188C22 = (C4xDic7):8C4 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).188C2^2 | 448,510 |
(C22xDic7).189C22 = (C4xDic7):9C4 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).189C2^2 | 448,511 |
(C22xDic7).190C22 = C4:C4:5Dic7 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).190C2^2 | 448,515 |
(C22xDic7).191C22 = C4:(C4:Dic7) | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).191C2^2 | 448,519 |
(C22xDic7).192C22 = (C2xD28):10C4 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).192C2^2 | 448,522 |
(C22xDic7).193C22 = D14:C4:7C4 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).193C2^2 | 448,524 |
(C22xDic7).194C22 = C2xC14.C42 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).194C2^2 | 448,742 |
(C22xDic7).195C22 = C4xC23.D7 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).195C2^2 | 448,743 |
(C22xDic7).196C22 = C24.18D14 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).196C2^2 | 448,754 |
(C22xDic7).197C22 = C24.19D14 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).197C2^2 | 448,755 |
(C22xDic7).198C22 = (Q8xC14):7C4 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).198C2^2 | 448,764 |
(C22xDic7).199C22 = C2xC4xDic14 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).199C2^2 | 448,920 |
(C22xDic7).200C22 = C2xC42:D7 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).200C2^2 | 448,925 |
(C22xDic7).201C22 = C2xC4xD28 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).201C2^2 | 448,926 |
(C22xDic7).202C22 = C2xC22:Dic14 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).202C2^2 | 448,934 |
(C22xDic7).203C22 = C2xC23.D14 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).203C2^2 | 448,935 |
(C22xDic7).204C22 = C2xD14.D4 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).204C2^2 | 448,941 |
(C22xDic7).205C22 = C2xDic7:3Q8 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).205C2^2 | 448,949 |
(C22xDic7).206C22 = C2xC28:Q8 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).206C2^2 | 448,950 |
(C22xDic7).207C22 = C2xDic7.Q8 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).207C2^2 | 448,951 |
(C22xDic7).208C22 = C2xC28.3Q8 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).208C2^2 | 448,952 |
(C22xDic7).209C22 = C2xD7xC4:C4 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).209C2^2 | 448,954 |
(C22xDic7).210C22 = C2xC4:C4:7D7 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).210C2^2 | 448,955 |
(C22xDic7).211C22 = C2xD28:C4 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).211C2^2 | 448,956 |
(C22xDic7).212C22 = C2xD14.5D4 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).212C2^2 | 448,958 |
(C22xDic7).213C22 = C2xC4:D28 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).213C2^2 | 448,959 |
(C22xDic7).214C22 = C42.88D14 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).214C2^2 | 448,970 |
(C22xDic7).215C22 = D7xC42:C2 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 112 | | (C2^2xDic7).215C2^2 | 448,973 |
(C22xDic7).216C22 = C42.188D14 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).216C2^2 | 448,975 |
(C22xDic7).217C22 = C42:8D14 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 112 | | (C2^2xDic7).217C2^2 | 448,977 |
(C22xDic7).218C22 = C4xD4:2D7 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).218C2^2 | 448,989 |
(C22xDic7).219C22 = C42.102D14 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).219C2^2 | 448,991 |
(C22xDic7).220C22 = C42:12D14 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 112 | | (C2^2xDic7).220C2^2 | 448,1000 |
(C22xDic7).221C22 = C28:(C4oD4) | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).221C2^2 | 448,1049 |
(C22xDic7).222C22 = (Q8xDic7):C2 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).222C2^2 | 448,1075 |
(C22xDic7).223C22 = C22:Q8:25D7 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).223C2^2 | 448,1077 |
(C22xDic7).224C22 = D7xC22:Q8 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 112 | | (C2^2xDic7).224C2^2 | 448,1079 |
(C22xDic7).225C22 = C4:C4:26D14 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 112 | | (C2^2xDic7).225C2^2 | 448,1080 |
(C22xDic7).226C22 = C4:C4.197D14 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).226C2^2 | 448,1102 |
(C22xDic7).227C22 = C22xDic7:C4 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).227C2^2 | 448,1236 |
(C22xDic7).228C22 = C22xC4:Dic7 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).228C2^2 | 448,1238 |
(C22xDic7).229C22 = C2xC23.21D14 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).229C2^2 | 448,1239 |
(C22xDic7).230C22 = C2xC4xC7:D4 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).230C2^2 | 448,1241 |
(C22xDic7).231C22 = C2xC28.17D4 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).231C2^2 | 448,1250 |
(C22xDic7).232C22 = C2xC28:D4 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).232C2^2 | 448,1256 |
(C22xDic7).233C22 = C2xDic7:Q8 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).233C2^2 | 448,1263 |
(C22xDic7).234C22 = C2xC28.23D4 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).234C2^2 | 448,1267 |
(C22xDic7).235C22 = C4oD4xDic7 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).235C2^2 | 448,1279 |
(C22xDic7).236C22 = (C2xC28):15D4 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 112 | | (C2^2xDic7).236C2^2 | 448,1281 |
(C22xDic7).237C22 = (C2xC28):17D4 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).237C2^2 | 448,1285 |
(C22xDic7).238C22 = C23xDic14 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 448 | | (C2^2xDic7).238C2^2 | 448,1365 |
(C22xDic7).239C22 = C22xC4oD28 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).239C2^2 | 448,1368 |
(C22xDic7).240C22 = C22xQ8xD7 | φ: C22/C2 → C2 ⊆ Out C22xDic7 | 224 | | (C2^2xDic7).240C2^2 | 448,1372 |
(C22xDic7).241C22 = C42xDic7 | φ: trivial image | 448 | | (C2^2xDic7).241C2^2 | 448,464 |
(C22xDic7).242C22 = D7xC2xC42 | φ: trivial image | 224 | | (C2^2xDic7).242C2^2 | 448,924 |
(C22xDic7).243C22 = C2xC23.11D14 | φ: trivial image | 224 | | (C2^2xDic7).243C2^2 | 448,933 |
(C22xDic7).244C22 = C22xC4xDic7 | φ: trivial image | 448 | | (C2^2xDic7).244C2^2 | 448,1235 |
(C22xDic7).245C22 = C2xQ8xDic7 | φ: trivial image | 448 | | (C2^2xDic7).245C2^2 | 448,1264 |
(C22xDic7).246C22 = C22xQ8:2D7 | φ: trivial image | 224 | | (C2^2xDic7).246C2^2 | 448,1373 |